(0 4 3)(1 18 16)(2 7 5)(6 10 8)(9 17 14)(11 19 13)(12 20 15)
ALLOWS (11/8)-SEQUENCE
1: (12 15 20)
(0 4 3)(1 18 16)(2 7 5)(6 10 8)(9 17 14)(11 19 13)(12 15 20)
2: (9 17 14)
(0 4 3)(1 18 16)(2 7 5)(6 10 8)(9)(11 19 13)(12 15 20)(14)(17)
3: (12 15 20)
(0 4 3)(1 18 16)(2 7 5)(6 10 8)(9)(11 19 13)(12)(14)(15)(17)(20)
4: (1 18 16)
(0 4 3)(1)(2 7 5)(6 10 8)(9)(11 19 13)(12)(14)(15)(16)(17)(18)(20)